Doc header: change Documentation to Docs to conform with PR to crates.io

diff --git a/src/doc/header.html b/src/doc/header.html
index 3a1ec6ac71300d2fb16f81fa28c6b72e577b1c5e..e00f968a289b294b3bbe3a4ca708041d496e301d 100644 (file)
--- a/src/doc/header.html
+++ b/src/doc/header.html
@@ -26,7 +26,7 @@
 
         <div class="dropdown-container">
             <button class="dropdown">
-                Documentation
+                Docs
                 <span class="arrow"></span>
             </button>
             <ul id="current-user-links" class="dropdown" data-bindattr-503="503">

diff --git a/src/doc/stylesheets/all.css b/src/doc/stylesheets/all.css
index 7a1709c57ed6e6ee0ff703073b013efe16c450a6..5ed49be72670dbb23d11ea74a9fccc22735e874c 100644 (file)
--- a/src/doc/stylesheets/all.css
+++ b/src/doc/stylesheets/all.css
@@ -244,8 +244,9 @@ ul.dropdown {
     visibility: none;
     position: absolute;
     top: 100%;
-    left: 0;
+    right: 0;
     width: 100%;
+    min-width: 150px;
     opacity: 0;
     margin: 0;
     text-align: left;